Section: Dissemination

Teaching - Supervision - Juries

• Licence : Philippe Clauss, Architecture des ordinateurs, 45h, Université de Strasbourg, France

• Licence : Philippe Clauss, Systèmes d'exploitation, 40h, Université de Strasbourg, France

• Master : Philippe Clauss, Compilation, 78h, Université de Strasbourg, France

• Master : Philippe Clauss, Système et programmation temps-réel, 25h, Université de Strasbourg, France

• Master : Philippe Clauss, Compilation avancée, 30h, Université de Strasbourg, France

• 2nd year engineering school: Jens Gustedt, programmation avancée, 20h, ENSIIE Strasbourg, France

• Licence : Jens Gustedt, systèmes concurrents, 20h, Université de Strasbourg, France

• Master : Jens Gustedt, parallélisme, 14h, M1, Université de Strasbourg, France

• IUT d'Informatique : Alain Ketterlin, Architecture et programmation des mécanismes de base d’un système informatique, 68h, Université de Strasbourg, France

• Licence : Alain Ketterlin, Algorithmique et programmation L1, 82h, Université de Strasbourg, France

• Master (Informatique) : Alain Ketterlin, Ingénierie de la preuve en Coq, 18h, Université de Strasbourg, France

• Master (Calcul Scientifique et Mathématiques de l'Information) : Alain Ketterlin, Compilation et optimisation, 26h, Université de Strasbourg, France

• Licence : Cédric Bastoul, Computer architecture, 68h, L1 (IUT), Université de Strasbourg, France

• Licence : Cédric Bastoul, Concurrent Systems, 20h, L3, Université de Strasbourg, France

• Master : Cédric Bastoul, Compiler Design, 48h, M1, Université de Strasbourg, France

• Master : Cédric Bastoul, Parallelism, 19h, M1, Université de Strasbourg, France

• Master : Cédric Bastoul, Introduction to Research, 11h, L2+M1, Université de Strasbourg, France

• Licence : Eric Violard, Programmation Fonctionnelle (licence informatique), 64h eq. TD, L2, Université de Strasbourg, France

• Licence : Eric Violard, Architecture des Ordinateurs (licence informatique), 54h eq. TD, L2, Université de Strasbourg, France

• Licence : Eric Violard, Logique et Programmation Logique (licence informatique), 34h eq. TD, L2, Université de Strasbourg, France

• Licence : Eric Violard, Algorithmique et Structure de Données (licence mathématique), 39h eq. TD, L3, Université de Strasbourg, France

• Licence : Eric Violard, Modèles de Calcul (licence informatique), 29h eq. TD, L1, Université de Strasbourg, France

• Licence : Eric Violard, Systèmes Concurrents (licence informatique), 7h eq. TD, L3, Université de Strasbourg, France

• Master : Arthur Charguéraud, Proof of Programs (MPRI), 12h, M2, Université Paris Diderot, France

• Licence : Vincent Loechner, responsable pédagogique de la licence professionnelle SIL spécialité ARS (Administration de Réseaux et Services), 24h, L3, université de Strasbourg, France

• Licence : Vincent Loechner, systèmes d'exploitation, 13h, L2, université de Strasbourg, France

• Licence : Vincent Loechner, administration système et internet, 54h, L3, université de Strasbourg, France

• Master : Vincent Loechner, calcul parallèle, 32h, M1, université de Strasbourg, France

• Master : Vincent Loechner, OS embarqués, 34h, M2, université de Strasbourg, France

• Master : Vincent Loechner, calcul parallèle, 30h, 3ième année école d'ingénieur (TPS), université de Strasbourg, France

• PhD: Nabil Hallou, Dynamic binary optimizations, University of Rennes, December the 18th 2017, Erven Rohou (PACAP team) and Philippe Clauss

• PhD in progress: Salwa Kobeissi, Dynamic parallelization of recursive functions by transformation into loops, September 2017, Philippe Clauss

• PhD in progress: Mariem Saied, Ordered Read-Write Locks for Multicores and Accelerators, since Nov 2013, Jens Gustedt & Gilles Muller.

• PhD in progress: Daniel Salas, Integration of the ORWL model into parallel applications for medical research, since Mar 2015, Jens Gustedt & Isabelle Perseil.

• PhD in progress: Yann Barsamian, Optimization and parallelization of particle and semi-Lagrangian methods for multi species plasma simulations, since Oct 2014, Eric Violard.

• PhD in progress: Armaël Géneau, Formal verification of complexity analyses, since Sept 2016, co-advised by Arthur Charguéraud and François Pottier, from team Gallium (Inria Paris), where Armaël is located.

• PhD in progress: Harenome Ranaivoarivony-Razanajato, Hierarchical Parallelization and Optimization, Oct. 2016, Cédric Bastoul and Vincent Loechner

• PhD in progress: Maxime Schmitt, Automatic Generation of Adaptive Codes, September 2016, Cédric Bastoul and Philippe Helluy

• PhD in progress : Paul Godard, Parallelization and Scalability of a Graphical Pipeline for Professionnal Inkjet Printing, Jun. 2016, Cédric Bastoul and Vincent Loechner